منابع مشابه
Model Checking Usage Policies
We propose a model for specifying, analysing and enforcing safe usageof resources. Our usage policies allow for parametricity over resources,and they can be enforced through finite state automata. The patternsof resource access and creation are described through a basic calculus ofusages. In spite of the augmented flexibility given by resource creationand by policy parametri...
متن کاملHadoop Memory Usage Model
Hadoop MapReduce is a powerful open-source framework towards big data processing. For ordinary users, it is not hard to write MapReduce programs but hard to specify memory-related configurations. To help users analyze, predict and optimize job’s memory consumption, this technical report presents a fine-grained memory usage model. The proposed model reveals the relationship among memory usage, d...
متن کاملA Contextual Usage Control Model
Original scientific paper The usage control model (UCON) is the latest major enhancement of traditional access control models. It enables subject and object attributes mutability and usage control continuity. However, with the model access permission may be denied as a result of the environmental changes even though the authorization and obligation requirements are met, thus causing disruptions...
متن کاملContext-aware and adaptive usage control model
Information protection is a key issue for the acceptance and adoption of pervasive computing systems where various portable devices such as smart phones, Personal Digital Assistants (PDAs) and laptop computers are being used to share information and to access digital resources via wireless connection to the Internet. Because these are resources constrained devices and highly mobile, changes in ...
متن کاملSoftware Reliability Using Markov Chain Usage Model
The work described in this paper is an investigation of applying Markov chain techniques to measure software reliability. An example is taken from database based application software to develop two stochastic models called usage model and testing model for the software. The log likelihood ratio i.e. D (U, T) of two stochastic processes tells us how similar these processes are. This information ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Irrigation and Drainage Engineering
سال: 1993
ISSN: 0733-9437,1943-4774
DOI: 10.1061/(asce)0733-9437(1993)119:4(631)